6281. Value functions in control systems and differential games : A viability method
پدیدآورنده: Slawomir Plaskacz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Control theory,، Differential games,، Hamilton-Jacobi equations,، Nonlinear functional analysis
رده :
QA
402
.
3
.
P56V2
6282. Variable Lebesgue Space
پدیدآورنده: / by David V. Cruz-Uribe, Alberto Fiorenza
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Harmonic analysis,Functional analysis,Global analysis,Electronic books
رده :
E-BOOK
6283. Variation in the educated spoken Arabic of Jordan with special reference to aspect in the verb phase
پدیدآورنده: El-Hassan, Shahir Ata
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
6284. Variational Principles of Continuum Mechanics with Engineering Applications
پدیدآورنده: by Vadim Komkov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Global analysis (Mathematics).,Mathematics.
6285. Variational Theory of Splines
پدیدآورنده: by Anatoly Yu. Bezhaev, Vladimir A. Vasilenko.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing.,Functional analysis.,Global analysis (Mathematics).,Mathematical optimization.,Mathematics.
6286. Variational analysis and applications /
پدیدآورنده: edited by Franco Giannessi, Antonino Maugeri.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical optimization.,Variational inequalities (Mathematics),Mathematical optimization.,Mathematical optimization.,Optimierung,Variational inequalities (Mathematics),Variational inequalities (Mathematics),Variationsrechnung
رده :
QA316
.
V347
2005
6287. Variational and Finite Element Methods :
پدیدآورنده: by Abraham I. Beltzer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied mathematics.,Computer-aided engineering.,Engineering.
رده :
TA347
.
F5
B933
1990
6288. Variational and Non-variational Methods in Nonlinear Analysis and Boundary Value Problems
پدیدآورنده: by D. Motreanu, V. Rǎdulescu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Differential equations, Partial.,Differential Equations.,Functional analysis.,Mathematical optimization.,Mathematics.
6289. Variational and topological methods in the study of nonlinear phenomena /
پدیدآورنده: V. Benci [and others] editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Nonlinear functional analysis.,Nonlinear mechanics, Congresses.,Topological dynamics, Congresses.,Nonlinear mechanics, Congresses.,Topological dynamics, Congresses.,Dynamique topologique, Congrès.,Mécanique non linéaire, Congrès.,Nichtlineare Funktionalanalysis,Nichtlineare Funktionalanalysis, Kongress-- Pisa 2000.,Nichtlineare partielle Differentialgleichung,Nichtlineares Phänomen,Nonlinear functional analysis.,Nonlinear mechanics.,Topological dynamics.,Topologische Methode,Variationsrechnung
رده :
QA321
.
5
.
V37
2000
6290. Variational regularization of 3D data :
پدیدآورنده: Hebert Montegranario, Jairo Espinosa
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer vision.,Three-dimensional imaging.,Computer Science.,Image Processing and Computer Vision.,Math Applications in Computer Science.,Simulation and Modeling.
رده :
TA1634
6291. Variational techniques for elliptic partial differential equations :
پدیدآورنده: Francisco J. Sayas, Thomas S. Brown, Matthew E. Hassell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Differential equations, Elliptic.,Differential equations, Partial.,Differential equations, Elliptic.,Differential equations, Partial.,MATHEMATICS-- Applied.,MATHEMATICS-- Calculus.,MATHEMATICS-- Differential Equations.,MATHEMATICS-- Mathematical Analysis.,MATHEMATICS-- Number Systems.
رده :
QA377
.
S33925
2019eb
6292. Variational, topological, and partial order methods with their applications /
پدیدآورنده: Zhitao Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Nonlinear functional analysis.
رده :
QA321
.
5
.
Z43
2013
6293. Variations on a Theme of Euler
پدیدآورنده: by Takashi Ono.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional analysis.,Mathematics.,Operator theory.
6294. Vasodilators in Chronic Heart Failure
پدیدآورنده: edited by H. Just, W.-D. Bussmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cardiology.,Medicine.,Toxicology.
رده :
RC684
.
V38
E358
1983
6295. Vector Variational Inequalities and Vector Optimization
پدیدآورنده: Qamrul Hasan Ansari, Elisabeth Kobis, Jen-Chih Yao.,Ansari, Qamrul Hasan,
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Calculus of variations.,Decision making.,Management science.,Mathematical optimization.,Operations research.
رده :
QA316
6296. Verallgemeinerte Funktionen :
پدیدآورنده: Stefan Schäffler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Theory of distributions (Functional analysis),MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Theory of distributions (Functional analysis)
رده :
QA324
6297. Verbmobil :
پدیدآورنده: editor, Wolfgang Wahlster.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine translating.
رده :
P308
.
E358
2011
6298. Verbs :
پدیدآورنده: William Croft
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Grammar, Comparative and general-- Aspect,Grammar, Comparative and general-- Verb
6299. Verification and evaluation of computer and communication systems :
پدیدآورنده: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
6300. Verification, induction, termination analysis
پدیدآورنده: Simon Siegler, Nathan Wasser (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Walther, Christoph,Functional programming (Computer science)
رده :
QA76
.
62
.
V47
2010eb
